Buy Used and New Jane Hillston Books

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... 9700 (Lecture Notes in Computer Science)

by Marco Bernardo,Rocco De Nicola,Jane Hillston

ISBN 13: 9783319340951

Format: Paperback (272 pages)
Publisher: Springer
Published: 12 Jun 2016

Save for later